Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
791	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
792	The Ackermann Award 2005 Erich Gr¨ adel, Janos Makowsky, and Alexander Razborov Members of EACSL Jury for the Ackermann Award The Ackermann Award Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:16 Automated theorem proving Computability theory Theory of computation Computational complexity theory Logic in computer science Alexander Razborov Wilhelm Ackermann Decidability First-order logic Theoretical computer science Mathematics Logic
793	On the computational content of the Lawson topology Fr´ed´eric De Jaeger DI, Ecole Normale Sup´erieure, Paris ´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-07-19 08:48:33 Theoretical computer science Mathematical logic Recursively enumerable set Recursive set Enumeration Topology Continuous function Numbering Subbase Mathematics Computability theory Theory of computation
794	introduction By ratiocination, I mean computation. —Thomas Hobbes, 1588–1679 If I had to bet on the best long-term predictor of good judgment among [a group of political and economic forecasters], it would be their Add to Reading List Source URL: cupola.columbia.edu Language: English - Date: 2015-04-18 05:48:21 Actuarial science Mathematical sciences Decision theory Technical analysis Volatility Nassim Nicholas Taleb Risk The Black Swan Quantitative analyst Mathematical finance Knowledge Management
795	Algorithmic Probability — Its Discovery — Its Properties and Application to Strong AI Ray J. Solomonoff Visiting Professor, Computer Learning Research Centre Royal Holloway, University of London IDSIA, Galleria 2, CH Add to Reading List Source URL: world.std.com Language: English - Date: 2014-07-03 19:23:23 Computability theory Artificial intelligence Turing machine Algorithmic information theory Ray Solomonoff Kolmogorov complexity Algorithmic probability Universal Turing machine Inductive inference Theoretical computer science Applied mathematics Theory of computation
796	COMS11700 Pushdown automata Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:32 Computer science Pushdown automaton Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Stack Deterministic pushdown automaton Nested word Automata theory Models of computation Theoretical computer science
797	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
798	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
799	Approximate Computation and Implicit Regularization for Very Large-scale Data Analysis Michael W. Mahoney Department of Mathematics Stanford University Stanford, CA 94305 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-05-21 20:27:46 Linear algebra NP-complete problems Matrix theory Computational complexity theory Graph partition Approximation algorithm Algorithm Graph theory Eigenvalues and eigenvectors Mathematics Algebra Theoretical computer science

UPDATE